Mathematical Proofs, Boolean Logic, Constraint Satisfaction, Sudoku Variants

Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·2d
Code Golf
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4d·
Discuss: Hacker News
Code Golf
Flag this post
Replenish your jigsaw puzzle stash with these 25 puzzles
modernmrsdarcy.com·5h
🧩Riddles
Flag this post
Making Sense of Word Problems
kgmathminds.com·2h
🧩Riddles
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·18h
🧩Riddles
Flag this post
Unlocking Logic's Secrets: BoolSkeleton – Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
Code Golf
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
Code Golf
Flag this post
A QOJ week
blog.mitrichev.ch·21h·
Code Golf
Flag this post
Pop Song Math Quiz
mcsweeneys.net·5h
🧩Riddles
Flag this post
Today’s NYT ‘Pips’ Solutions And Walkthrough For Thursday November 6
forbes.com·18h
🚪Escape Rooms
Flag this post
After More Than Three Centuries, a Geometry Problem That Originated with a Royal Bet Is Solved
goodnewsnetwork.org·1d
🚪Escape Rooms
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
Code Golf
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧩Riddles
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
Code Golf
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·18h·
Discuss: Hacker News
🚪Escape Rooms
Flag this post
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🧩Riddles
Flag this post
Inquiries-Week 5: Triangles Emerge
fractalkitty.com·10h
Code Golf
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·18h·
Discuss: Hacker News
Code Golf
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
Code Golf
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·2d
🚪Escape Rooms
Flag this post